1. A science of operations
المؤلف: Mark Priestley.,Priestley, Mark
المکتبة: (طهران)
موضوع: Computer programming,Programming languages (Electronic computers),Microcomputers,Logic, Symbolic and mathematical.,History.,History.,History.
رده :
QA76
.
6
.
P73
2011
2. A science of operations
المؤلف: Mark Priestley
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
رده :
QA
،
76
.
6
،.
P737
،
2010
3. Les mathematiques a la portee de l'ordinateur
المؤلف: / Pref de J. Kuntzmann
المکتبة: (طهران)
موضوع: Automatic theorem proving,Logic, Symbolic and mathematical,Programming languages (Electronic computers)
رده :
Q
335
.
A75
4. Logic of Domains
المؤلف: Guo-Qiang Zhang
المکتبة: (طهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
5. Logic of domains
المؤلف: Zhang, Guo-Qiang
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
6. Logics of specification languages
المؤلف: Dines Bjrner, Martin C. Henson, editors
المکتبة: (سمنان)
موضوع: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
7. Logics of specification languages
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
8. Logics of specification languages
المؤلف: Dines Bjrner, Martin C. Henson, editors
المکتبة: (طهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L63
9. Mathematical logic and programming language
المؤلف: Hoare, C. A. R.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
10. Mathematical logic and programming languages
المؤلف: / edited by C.A.R. Hoare and J.C. Shepherdson
المکتبة: (طهران)
موضوع: Programming languages (Electronic computers),Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
11. Mathematical logic and programming languages
المؤلف: / Edited by C. A. R. Hoare, J. C. Shepherdson
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Programming languages (Electronic computers),Logic, symbolic and mathematical
رده :
QA76
.
6
.
M3646
1985
12. The Imperative future :principles of executable temporal logic
المؤلف: edited by Howard Barringer ... ]et al.[
المکتبة: (خراسان الجنوبیة)
موضوع: Development ، Computer software,، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
76
.
D47
I47
1996
13. The logic of partial information
المؤلف: Nait Abdallah, Areski
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N35
1995
14. The logic of partial information
المؤلف: Areski Nait Abdallah
المکتبة: (طهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N3
15. Truth, deduction, and computation
المؤلف: / R.E. Davis
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Programming languages (Electronic computers)- Semantics,Logic, Symbolic and mathematical,Electronic data processing
رده :
QA76
.
7
.
D386
1989
